39 results
A Hydrothermal Seedling Emergence Model for Giant Ragweed (Ambrosia trifida)
-
- Journal:
- Weed Science / Volume 56 / Issue 4 / August 2008
- Published online by Cambridge University Press:
- 20 January 2017, pp. 555-560
-
- Article
- Export citation
Gaisi Takeuti and Mariko Yasugi. The ordinals of the systems of second order arithmetic with the provably -comprehension axiom and with the -comprehension axiom respectively. Japanese journal of mathematics, vol. 41 (1973), pp. 1–67.
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 3 / September 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. 877-880
- Print publication:
- September 1983
-
- Article
- Export citation
Wilhelm Ackermann. Der Aufbau einer höheren Logik. Archiv für mathematische Logik und Grundlagenforschung, Bd. 7 (1965), S. 5–22.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 3 / September 1975
- Published online by Cambridge University Press:
- 12 March 2014, p. 458
- Print publication:
- September 1975
-
- Article
- Export citation
J. Łoś, A. Mostowski, and H. Rasiowa. A proof of Herbrand's theorem. Journal de mathématiques pures et appliquées, Folge 9 Bd. 35 (1956), S. 19–24. - J. Łoś, H. Rasiowa, and A. Mostowski. Addition au travail “A proof of Herbrand theorem.”Journal de mathématiques pures et appliquées, Folge 9 Bd. 40 (1961), S. 129–134.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 1 / March 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 168-169
- Print publication:
- March 1971
-
- Article
- Export citation
H. Rasiowa. Algebraic models of axiomatic theories. Fundamenta mathematicae, Bd. 41 (1954), S. 291–310. - H. Rasiowa. Constructive theories.Bulletin de l'Académie Polonaise des Sciences, Classe III, Bd. 2(1954), S. 121–124.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 2 / 23 July 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 285-286
- Print publication:
- 23 July 1968
-
- Article
- Export citation
H. Rasiowa. A proof of ε-theorems. Ebd., Bd. 3 (1953), S. 299–302. - H. Rasiowa. On the ε-theorems. Fundamenta mathematicae, Bd. 43 (1956), S. 156–165. (Siehe Errata, ebd., Bd. 44 (1957), S. 333.)
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 2 / 23 July 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 286
- Print publication:
- 23 July 1968
-
- Article
- Export citation
Solomon Feferman. Systems of predicative analysis. The journal of symbolic logic, Bd. 29 Heft 1 (1964), S. 1–30.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 4 / December 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 660-661
- Print publication:
- December 1966
-
- Article
- Export citation
Hans Hermes. Aufzählbarkeit, Entscheidbarkelt, Berechenbarkeit. Einführung in die Theorie der rekursiven Funktionen. Springer-Verlag, Berlin-Göttingen-Heidelberg1961, X + 246 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 2 / June 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 254
- Print publication:
- June 1966
-
- Article
- Export citation
Hans Hermes. Einführung in die mathematische Logik. Klassische Prädikatenlogik. B. G. Teubner Verlagsgesellschaft, Stuttgart1963, 187 S.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 3 / September 1965
- Published online by Cambridge University Press:
- 12 March 2014, pp. 355-356
- Print publication:
- September 1965
-
- Article
- Export citation
Gaisi Takeuti. On the inductive definition with quantifiers of second order. Journal of the Mathematical Society of Japan, vol. 13 (1961), pp. 333–341.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 3 / September 1964
- Published online by Cambridge University Press:
- 12 March 2014, p. 147
- Print publication:
- September 1964
-
- Article
- Export citation
Gaisi Takeuti. On the fundamental conjecture of GLC. VI. Proceedings of the Japan Academy, vol. 37 (1961), pp. 440–443.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 3 / September 1964
- Published online by Cambridge University Press:
- 12 March 2014, p. 147
- Print publication:
- September 1964
-
- Article
- Export citation
Gaisi Takeuti. Ordinal diagrams II. Journal of the Mathematical Society of Japan, vol. 12 (1960), pp. 385–391.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 3 / September 1964
- Published online by Cambridge University Press:
- 12 March 2014, pp. 146-147
- Print publication:
- September 1964
-
- Article
- Export citation
Hiroshi Nagai. The concept of formality in mathematics. Annals of the Japan Association for Philosophy of Science, vol. 1 no. 5 (1960), pp. 289–312.
-
- Journal:
- The Journal of Symbolic Logic / Volume 28 / Issue 3 / September 1963
- Published online by Cambridge University Press:
- 12 March 2014, pp. 249-250
- Print publication:
- September 1963
-
- Article
- Export citation
Gaisi Takeuti. An example on the fundamental conjecture of GLC. Journal of the Mathematical Society of Japan, vol. 12 (1960), pp. 238–242.
-
- Journal:
- The Journal of Symbolic Logic / Volume 28 / Issue 2 / June 1963
- Published online by Cambridge University Press:
- 12 March 2014, p. 173
- Print publication:
- June 1963
-
- Article
- Export citation
Shôji Maehara. Equality axiom on Hubert's ε-symbol. Journal of the Faculty of Science, University of Tokyo, Sec. I, vol. 7 (1957), pp. 419–435.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 1 / March 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 109-110
- Print publication:
- March 1962
-
- Article
- Export citation
Gaisi Takeuti. On the recursive functions of ordinal numbers. Journal of the Mathematical Society of Japan, vol. 12 no. 2 (1960), pp. 119–128.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 1 / March 1962
- Published online by Cambridge University Press:
- 12 March 2014, p. 88
- Print publication:
- March 1962
-
- Article
- Export citation
Steven Orey. Model theory for the higher order predicate calculus. Transactions of the American Mathematical Society, vol. 92 (1959), pp. 72–84.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 1 / March 1962
- Published online by Cambridge University Press:
- 12 March 2014, p. 96
- Print publication:
- March 1962
-
- Article
- Export citation
Shôji Maehara. Gentzen's theorem on an extended predicate calculus. Proceedings of the Japan Academy, vol. 30 no. 10 (1954), pp. 923–926.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 1 / March 1962
- Published online by Cambridge University Press:
- 12 March 2014, p. 109
- Print publication:
- March 1962
-
- Article
- Export citation
Shôji Maehara. The predicate calculus with ε-symbol. Journal of the Mathematical Society of Japan, vol. 7 (1955), pp. 323–344.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 1 / March 1962
- Published online by Cambridge University Press:
- 12 March 2014, p. 109
- Print publication:
- March 1962
-
- Article
- Export citation
Syntactical and semantical properties of simple type theory
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 4 / December 1960
- Published online by Cambridge University Press:
- 12 March 2014, pp. 305-326
- Print publication:
- December 1960
-
- Article
- Export citation